There are still changes to test expectations for test-splice. They actually look somewhat suspicious.

Ping @f52985, this still needs updating test expectations before I can merge it.

Oh, the thing is, I somehow missed updating the test expectation for test-splice, but it revealed that the current implementation was actually incomplete: it missed the dependency if relations through function call. (i.e. the relation NotImmutReachable uses the definition $NotImmutReachable which uses the relation ImmutReachable, but this dependency through function is overlooked) I'm currently working on considering this dependency, which should be completed and pushed to this branch very soon.

Ping @f52985, this still needs updating test expectations before I can merge it.

Done, PTAL